<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>camkes-3.8.x-compatible | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/updates/camkes-vm">
              <span property="name"><b>camkes-vm Recent Updates</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">camkes-3.8.x-compatible</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="updates-to-camkes-vm-from-camkes-37x-to-camkes-380">Updates to camkes-vm from camkes-3.7.x to camkes-3.8.0</h1>

<h2 id="camkes-vm">camkes-vm</h2>

<ul>
  <li><code class="language-plaintext highlighter-rouge">FileServer</code>: Move <code class="language-plaintext highlighter-rouge">fsclient</code> to <code class="language-plaintext highlighter-rouge">libFileServer-client</code>.
<code class="language-plaintext highlighter-rouge">libFileServer-client</code> is now a library bundled with the <code class="language-plaintext highlighter-rouge">FileServer</code>
component. Components that are clients of the RPC interface provided by
the <code class="language-plaintext highlighter-rouge">FileServer</code> can now link this client library and initialise it with
the name of the local-client interface binding (<code class="language-plaintext highlighter-rouge">fs</code> for <code class="language-plaintext highlighter-rouge">Init</code>) to set up
the <code class="language-plaintext highlighter-rouge">muslc</code> syscall bindings.</li>
  <li>Update RPC templates with new <code class="language-plaintext highlighter-rouge">grantreply</code> right (rather than <code class="language-plaintext highlighter-rouge">grant</code>).</li>
  <li><code class="language-plaintext highlighter-rouge">Ethdriver</code>: Fix DMA physical and virtual DMA address assumption.
Previously, the component assumed that the physical and virtual DMA
addresses are the same. This is supposedly the case on x86 platforms but
not on ARM platforms. This commit fixes this assumption and correctly
passes the physical DMA addresses down to the Ethernet device driver.</li>
  <li><code class="language-plaintext highlighter-rouge">Ethdriver</code>: Add ARM <code class="language-plaintext highlighter-rouge">Ethdriver</code> component and platform specific definitions</li>
  <li>Add PicoServer component for providing a UDP/TCP socket client interface and
consuming a <code class="language-plaintext highlighter-rouge">seL4Ethernet</code> interface.</li>
  <li><code class="language-plaintext highlighter-rouge">Ethdriver</code>: Use new <code class="language-plaintext highlighter-rouge">seL4DTBHardware</code> connector.
This commit updates the ARM versions of the <code class="language-plaintext highlighter-rouge">Ethdriver</code> component to use
the new <code class="language-plaintext highlighter-rouge">seL4DTBHardware</code> connector. This is done to remove the additional
boilerplate code needed to initialise hardware resources.</li>
  <li>Move <code class="language-plaintext highlighter-rouge">Ethdriver</code> and <code class="language-plaintext highlighter-rouge">PicoServer</code> components, templates and interfaces to <code class="language-plaintext highlighter-rouge">global-components</code> repository.</li>
  <li>remove global <code class="language-plaintext highlighter-rouge">Configuration</code> library.</li>
  <li>Update <code class="language-plaintext highlighter-rouge">virtio_net_switch</code> to new <code class="language-plaintext highlighter-rouge">libvirtqueue</code>.
Introduces the necessary changes for the <code class="language-plaintext highlighter-rouge">virtio_net_switch</code> to work with
the new multi buffer virtqueue.</li>
  <li>CMake: Add Findcamkes-vm.cmake module</li>
</ul>

<h2 id="camkes-vm-examples">camkes-vm-examples</h2>

<ul>
  <li>Add griddle support for easy project configuration and building.</li>
  <li>CMake: Update project to use CMake modules</li>
</ul>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> camkes-vm </h2> 
        <li>
          
          <a style="" class="" href="/projects/camkes-vm/">
            Documentation homepage
          </a>
        </li>

















    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/seL4/camkes-vm">
            camkes-vm
          </a>
        </li>

    
        <li>
          <a class="" href="https://github.com/seL4/camkes-vm-examples">
            camkes-vm-examples
          </a>
        </li>

    
        <li>
          <a class="" href="https://github.com/seL4/camkes-vm-examples-manifest">
            camkes-vm-examples-manifest
          </a>
        </li>









  







    
        <h3>Recent Updates</h3>
    
        <li>
          <a style="" href="/updates/camkes-vm/camkes-3.8.x-arm-old.html">
            camkes-3.8.x-compatible-arm-old
          </a>
        </li>

    
        <li>
          <a style=" font-weight: bold; " href="/updates/camkes-vm/camkes-3.8.x.html">
            camkes-3.8.x-compatible
          </a>
        </li>

    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/content_collections/_updates/camkes-vm/camkes-3.8.x.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/content_collections/_updates/camkes-vm/camkes-3.8.x.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
